Checked arevert-xtra.texi.
authorGlenn Morris <rgm@gnu.org>
Sun, 28 Jun 2009 00:53:01 +0000 (00:53 +0000)
committerGlenn Morris <rgm@gnu.org>
Sun, 28 Jun 2009 00:53:01 +0000 (00:53 +0000)
commitf9c13e4b8b838c8e0bab1f084d6491e2d5776650
tree610c38a8031582e05061caf6438ddc008c7ae01e
parent296f61cd8d12320a115143b2d9cc3181567d913c
Checked arevert-xtra.texi.
admin/FOR-RELEASE